1. ......................
المؤلف: edited by Brian C. O'Neill
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
5
.
W58
1996
2. A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993: proceedings
المؤلف: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
المکتبة: (طهران)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
803
3. A Survey of verification techniques for parallel programs
المؤلف: Barringer, Howard, 1591-
المکتبة: (طهران)
موضوع: ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
191
4. A code mapping scheme for dataflow software pipelining
المؤلف: / by Guang R. gao,Gao
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Computer architecture,Parallel Processing (Electronic computing),Computer Software
رده :
QA
76
.
9
.
A73G36
1991
5. A code mapping scheme for dataflow software pipelining
المؤلف: / G.R. Gao
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computer architecture,Parallel processing (Electronic Computers),Software computing
رده :
QA76
.
9
.
A73G36
1991
6. A parallel pipeline computer architecture for speech processing
المؤلف: Georgiou, Vassilios John
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Speech processing systems,، Parallel processing )Electronic computers(
رده :
TK
7882
.
S65
.
G46
1984
7. A practical guide to XEN high availability :
المؤلف: Sander van Vugt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer organization.,Parallel processing (Electronic computers),Virtual computer systems.
8. A survey of verification techniques for Parallel programs
المؤلف: Barringer, Howard
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Parallel processing )Electronic computers(,Verification ، Computer programs
رده :
QA
76
.
5
.
B29627
1985
9. A survey of verification techniques for parallel programs
المؤلف: Barringer, Howard
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Parallel processing )Electronic Computers(,، Computer programs - Verification
رده :
QA
76
.
5
.
B29627
1985
10. A survey of verification techniques for parallel programs
المؤلف: Howard Barringer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel programs (Computer programs) -- Verification.,Parallélisme (Informatique)
رده :
QA76
.
5
H693
1985
11. Abstract machine models for parallel and distributed computing
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Parallel computers,، Electronic data processing-- Distributed processing,، Machine theory
رده :
QA
76
.
58
.
A27
196
12. Abstract machine models for parallel and distributed computing
المؤلف: edited by M. Kara... ]et al.[
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
A38
1996
13. Actors : a model of concurrent computation in distributed systems
المؤلف: Agha, Gul A.
المکتبة: (طهران)
موضوع: Electronic data processing - Distributed processing , Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
D5
A37
1986
14. Adaptive processing of sequences and data structures : International Summer School on Neural Networks, "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997 : tutorial lectures
المؤلف: C. Lee Giles, Marco Gori )eds.(
المکتبة: (طهران)
موضوع: ، Neural networks )Computer science(,، Data structures )Computer science(,، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1387
15. Advanced Parallel Processing Technologies
المؤلف: \ Yunji Chen, Paolo Ienne, Qing Ji (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Parallel processing (Electronic computers) -- Congresses,Computer Communication Networks.,پ‍ردازش م‍وازی (کامپیوتر) -- کنگره ها,شبکه‌های ارتباطی کامپیوتری
رده :
QA
76
.
58
.
A6A3
2015
E-Book
,
16. Advanced Parallel Processing Technologies :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Parallel processing (Electronic computers) ; Congresses. ;
17. Advanced computational infrastructures for parallel and distributed adaptive application
المؤلف: / edited by Manish Parashar, Xiaolin Li
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Parallel processing (Electronic computers),Electronic data processing--Distributed processing,Adaptive computing systems.
رده :
QA
,
76
.
58
,.
A375
,
2010eb
18. Advanced computational infrastructures for parallel and distributed adaptive applications
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Parallel processing (Electronic computers) ; Electronic data processing ; Distributed processing. ; Adaptive computing systems. ;
19. Advanced computational infrastructures for parallel and distributed adaptive applications
المؤلف: / edited by Manish Parashar, Xiaolin Li
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Parallel processing (Electronic computers),Electronic data processing, Distributed processing,Adaptive computing systems
رده :
QA76
.
58
.
A375
2010
20. Advanced computational infrastructures for parallel and distributed adaptive applications /
المؤلف: edited by Manish Parashar, Xiaolin Li
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Adaptive computing systems,Electronic data processing-- Distributed processing,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
A375
2010
